This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
WeiterlesenCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
WeiterlesenThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Weiterlesen